
import @.Basic

page Printable:

    read Text % string

###

page StringPrintableExtension:

    have self % Printable
     and self % Extension[string]
    
    read Text = Subject

###

page IntegerPrintableExtension:

    have self % Printable
     and self % Extension[integer]
    
    read Text = "xxx(@)"(Subject)

###

page ListPrintableExtension[A]:

    have self % Printable
     and self % Extension[List[A]]
     and A % Printable
    
    read Text:
        ""

